Negation Of Compound Statements